پروژة منطق گرایی در ریاضیات: از بولتزانو تا راسل

پروژة منطق‌گرایی در ریاضیات: از بولتزانو تا راسل

آموزة منطق‌گرایی عبارت است از فروکاستن مفاهیم و قضایای ریاضی به مفاهیم و قضایای منطقی. این آموزه که یکی از مکاتب مهم فلسفة ریاضی است، را نخستین بار برنارد بولتزانو صورت‌بندی کرد و سپس گوتلپ فرگه سعی کرد با ارائة نسخة جدیدی از منطق آن را ادامه دهد. درنهایت این آموزه را به صورت پروژه‌ای، برتراند راسل و آلفرد نورث وایتهد عملی کردند. در این مقاله نخست تلاش خواهم کرد چگونگی تحول و تکوین این پروژه را...

پروژه منطق گرایی در ریاضیات: از بولتزانو تا راسل

آموزه منطق گرایی عبارت است از فروکاستن مفاهیم و قضایای ریاضی به مفاهیم و قضایای منطقی. این آموزه که یکی از مکاتب مهم فلسفه ریاضی است، را نخستین بار برنارد بولتزانو صورت بندی کرد و سپس گوتلپ فرگه سعی کرد با ارائه نسخه جدیدی از منطق آن را ادامه دهد. درنهایت این آموزه را به صورت پروژه ای، برتراند راسل و آلفرد نورث وایتهد عملی کردند. در این مقاله نخست تلاش خواهم کرد چگونگی تحول و تکوین این پروژه را...

شهودی گرایی در ریاضیات

مبانی «برنهاد منطق ریاضی» راسل

با در نظر گرفتن دو جریان فراگیر فلسفی قرن نوزدهم یعنی ایده‌آلیسم و رئالیسم، آنچه در این مقاله مورد بررسی قرار می­گیرد این است که راسل بر پایه­ کدام نظام فلسفی منطق­گرایی خود را بنا کرد. طرح منطق­گرایی راسل در سه دوره­ فکری بررسی می­شود. در دوره­ اوّل راسل در بررسی­های منطقی خویش رویکرد ایده‌آلیستی دارد. در دوره­ دوّم با پایه­ریزی فلسفه­ رئالیستی خود نسخه­ اوّلیه­ منطق­گرایی­اش را در اصول می­آورد. ...

شهودی گرایی در ریاضیات

از شکل گرایی تا ساختارزدایی در ادبیات

شکل گرایی روسی در اوایل قرن حاضر بجای ادبیات‘به "ادبیت" یعنی آنچه نوشته را به اثری ادبی بدل میکند پرداخت و مفهوم "آشنایی زدایی" رامطرح کرد. ساخت گرایی پراک تداوم شکل گرایی روسی بود و ساخت گرایی مدرن نیز همانند ساخت گرایی پراک وامدار نظریه سوسور است و عقیده دارد که بر نظام زبان دو محور"همنشینی"و"جانشینی"حاکم است.همه این نظریه پردازان ساختار یا نظام زبان را بطور همزمان بررسی می کنند آنان به آنچه ...